#ifndef _TIMER1_H_
#define _TIMER1_H_

#include <inttypes.h>

extern void timer1_init (void (*) (void));

#endif /* _TIMER1_H_ */
